Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures
نویسندگان
چکیده
Distributed automation system (DAS) architecture gathers all the hardware and software automation components in order to realize control and monitoring tasks for factory process. To submit and commercially secure an architecture offer, system integrators must assess the performances of a wide range of candidate architectures, which enforce functional requirements. Among many available methodologies, Coloured Petri Nets (CPN) have already proven their capabilities to assess DAS architecture performances. However, performance assessment using CPN involves a manual definition of the required models which is time-consumer, when a huge amount of different architectures must be considered. This paper introduces a practical CPN-based methodology to automatically generate the relevant architecture CPN model by instantiation and parameterization of generic CPN components model. It allows easily defining, assessing and validating the architecture. This study is supported by Schneider Electric Company and illustrated with process automation reference architectures.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملTechnical Issues in Modelling the European Train Control System (etcs) Using Coloured Petri Nets and the Design/cpn Tools
At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Control System (ETCS) within a project for the Deutsche Bahn AG (German railways). This paper reports of experiences in modelling this complex, distributed automation system using Coloured Petri Nets and the Design/CPN tools. We will concentrate on some technical issues. However, for motivation...
متن کاملSimulation and Performance Analysis of Distributed Internet Systems Using TCPNs
This paper presents a Timed Coloured Petri Nets based programming tool that supports modeling and performance analysis of distributed World Wide Web environments. A distributed Internet system model, initially described in compliance with Queueing Theory (QT) rules, is mapped onto the Timed Coloured Petri Net (TCPN) structure by means of queueing system templates. Then, it is executed and analy...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملPetri Net analysis of the MASCOT Pool IDA Communication Mechanisms
The paper is concerned with modelling and analysis of the MASCOT Pool IDA communication mechanisms. Both the Four-slot fully asynchronous mechanism and the Two-slot conditionally asynchronous mechanism are investigated. The mechanism properties are defined first, to provide the basis for Petri nets modelling. Place/Transition nets and Coloured Petri nets are used to produce the models. The Desi...
متن کامل